Merge branch 'otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Fri, 1 Nov 2019 14:13:28 +0000 (14:13 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Fri, 1 Nov 2019 14:13:28 +0000 (14:13 +0000)
commit4b41dd4eb11ed1f444830719c7dc0f540d0652bc
treeb6fae8a7af0e58302e32471fe4ba3774202e8238
parentc48fe6d7ec618488481525a7416d267ec0f0e9f9
parent41beae19569509f81e9cbe3695c94e17e9616e00
Merge branch 'otte/for-master' into 'master'

Otte/for master

See merge request GNOME/gtk!1153